Dynamic Reasoning Systems

Assertional Reasoning about Dynamic Systems

The desire to model in a straightforward manner complex features of real physical systems is often tempered by difficulties associated with reasoning about the resulting computational models. UNITY, Swarm and Dynamic Synchrony are three models of concurrency that accommodate successively more dynamic systems: from systems that can be characterized in terms of a fixed set of actions to systems i...

Q Symbolic Reasoning about Noisy Dynamic Systems

Symbolic reasoning about continuous dynamic systems requires consistent qualitative abstraction functions and a consistent symbolic model. Classically, symbolic reasoning systems have utilized a box partition of the system space to achieve qualitative abstraction, but boxes can not provide a consistent abstraction. Our Q methodology abstracts a provably consistent symbolic representation of noi...

Probabilistic reasoning in dynamic multiagent systems

Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic reasoning in dynamic domains under the same paradigm involves several issues. This paper proposes an approach to address these issues. Intuitively, observation on current state plays a more important role in the reason...

Compositional Reasoning for Dynamic Distributed Systems

Action - Centered Reasoning for Probabilistic Dynamic Systems